Formal agent-based modelling of intracellular chemical interactions.
نویسندگان
چکیده
Individual-based or agent-based models have proved useful in a variety of different biological contexts. This paper presents an agent-based model using a formal computational modelling approach to model a crucial biological system--the intracellular NF-kappaB signalling pathway. The pathway is vital to immune response regulation, and is fundamental to basic survival in a range of species. Alterations in pathway regulation underlie many diseases, including atherosclerosis and arthritis. Our modelling of individual molecules, receptors and genes provides a more comprehensive outline of regulatory network mechanisms than previously possible with equation-based approaches. The model has been validated with data obtained from single cell experimental analysis.
منابع مشابه
A Formal Petri Net Based Model for Antivirus Update Agent System
In this paper, a formal model for antivirus update agent system is presented based on mobile agent technology and predicate/transition Petri nets. The mobile agent system contains two mobile agents called DCA and UNA. It sends out agents to update antivirus on client computers in a network. Each agent takes on a specified responsibility. First, DCA roams through the network and check the last d...
متن کاملA Formal Petri Net Based Model for Antivirus Update Agent System
In this paper, a formal model for antivirus update agent system is presented based on mobile agent technology and predicate/transition Petri nets. The mobile agent system contains two mobile agents called DCA and UNA. It sends out agents to update antivirus on client computers in a network. Each agent takes on a specified responsibility. First, DCA roams through the network and check the last d...
متن کاملUsing X-Machines as a Formal Basis for Describing Agents in Agent-Based Modelling
This paper overviews a formal agent-based modelling architecture that has been designed around the need for multi-agent modelling of biological cells with respect to inter-cellular signalling and tissue, and intracellular pathways. The specific aim is to provide a way to formally describe individual components of a biological system as agents using a generic framework that is applicable to any ...
متن کاملAnalysis of interactions among barriers in project risk management
In the context of the scope, time, cost, and quality constraints, failure is not uncommon in project management. While small projects have 70% chances of success, large projects virtually have no chance of meeting the quadruple constraints. While there is no dearth of research on project risk management, the manifestation of barriers to project risk management is a less dwelt topic. The success...
متن کاملA Graph-based Developmental Swarm Representation & Algorithm
Modelling natural processes requires the implementation of an expressive representation of the involved entities and their interactions. We present swarm graph grammars (SGGs) as a bio-inspired modelling framework that integrates aspects of formal grammars, graphbased representation and multi-agent simulation. In SGGs, the substitution of subgraphs that represent locally defined agent interacti...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Bio Systems
دوره 85 1 شماره
صفحات -
تاریخ انتشار 2006